void echo_init();